Canonical structure of minimal varying Λ theories
نویسندگان
چکیده
Minimal varying $\Lambda$ theories are defined by an action built from the Einstein-Cartan-Holst first order for gravity with cosmological constant as independent scalar field, and supplemented Euler Pontryagin densities multiplied $1/\Lambda$. We identify canonical structure of these which turn out to represent example irregular systems. find five degrees freedom on generic backgrounds values parameters, whereas if parameters satisfy a certain condition (which includes most commonly considered case) only three remain. On de Sitter-like changes, due emergent conformal symmetry one degree drops spectrum. also analyze self-dual case holomorphic depending part connection. In this we two (complex) freedom, further discuss Kodama state, restriction Sitter background effect reality conditions.
منابع مشابه
Parametric λ-Theories
The parametric lambda calculus subsumes different existing λ-calculi, in particular the classical λβ-calculus and the λβv-calculus of Plotkin. Previously established results on the parametric calculus, such as as confluence and standardization, are primarily syntactical. In this paper our attention is mainly addressed to semantics, although we start again from a syntactical point of view. We pr...
متن کاملCanonical Ground Horn Theories
An abstract framework of canonical inference based on proof orderings is applied to ground Horn theories with equality. A finite presentation that makes all normal-form proofs available is called saturated. To maximize the chance that a saturated presentation be finite, it should also be contracted, in which case it is deemed canonical. We apply these notions to propositional Horn theories – or...
متن کاملEffective λ-models versus recursively enumerable λ-theories
A longstanding open problem is whether there exists a non-syntactical model of the untyped λ-calculus whose theory is exactly the least λ-theory λβ . In this paper we investigate the more general question of whether the equational/order theory of a model of the untyped λ-calculus can be recursively enumerable (r.e. for brevity). We introduce a notion of effective model of λ-calculus, which cove...
متن کاملMinimal and Canonical Images
We describe a family of new algorithms for finding the canonical image of a set of points under the action of a permutation group. This family of algorithms makes use of the orbit structure of the group, and a chain of subgroups of the group, to efficiently reduce the amount of search which must be performed to find a canonical image. We present both a formal proof of correctness of our algorit...
متن کاملDetermining the order of minimal realization of descriptor systems without use of the Weierstrass canonical form
A common method to determine the order of minimal realization of a continuous linear time invariant descriptor system is to decompose it into slow and fast subsystems using the Weierstrass canonical form. The Weierstrass decomposition should be avoided because it is generally an ill-conditioned problem that requires many complex calculations especially for high-dimensional systems. The present ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Classical and Quantum Gravity
سال: 2021
ISSN: ['1361-6382', '0264-9381']
DOI: https://doi.org/10.1088/1361-6382/ac1852